Α Ν 0 Ι Ε Ν Τ Α Ν ϋ Μ Ε Ο Ι Ε V Α Ι, ΡΗΙΙ,ΟδΟΡΗΥ ΠΕ \ν III, Ρ - Μ Α Ν 5 Ι Ο Ν ΟΕΝΤΒΕ 5βΠ88 1 II ιηεΐ (1ε δίβυη νβη Ιιοί Βοΐβίδοΐι λ'αΐίοηααΐ ΌΟΟΓ ...

Intuitionists and classical logicians use in common a large number of the logical axioms, even though they supposedly mean different things by the logical connectives and quantifiers — conquans for short. But Wittgenstein says The meaning of a word is its use in the language. We prove that in a definite sense the intuitionistic axioms do indeed characterize the logical conquans, both for the intuitionist and the classical logician.